Fix compile error with GCC