Fix the Linux build.