Fix the build on linux