Fix compilation under GCC.