Fix the linux build.