Fix Linux build.