Fix Linux build.
Fix the Linux build fix.