fix compilation with GCC 4.6 on Linux