More fruitless attempts to make x64 work right.