Fix the build for linux