Fix compile error under Linux