fix a compile error in GCC