Fix compilation error in GCC.