Fix compilation with GCC