fix compiling on Linux