Fixed compilation with GCC