Some hacks to get linux64 working.