Fix compilation on gcc.