More 64bit tweaks