fix compilation with GCC