Fix compiler error in GCC