solve the compilation error under Linux