fix compilation with GCC 4.6.3