Fix compilation error under linux