Fix compilation with gcc.