Fixing the build on Linux.