x86_64 broken