Fix compilation error under gcc