Use IMAGE_FILE_MACHINE_AMD64 appropriately.