Fix compilation under gcc.