modexp512-x86_64.pl: make it work with ml64 [from HEAD].