Fixed compilation error on GCC