sha512-x86_64.pl: revert previous change and solve the problem through