Fixed compilation error for GCC