Fix compilation in GCC.