Fix the build on Linux