Fix the Linux buid.