modexp512-x86_64.pl: make it work with ml64.