Rename amd64

Preparation for someone to finish making the FreeBSD x86_64 port work again.