Fix compilation on GCC.