perlasm/x86_64-xlate.pl: make latest ml64 work.