sha512-x86_64.pl: fix linking problem under Windows. (Imported from upstream's daa96141d31dbe6a6fadc6afc7cf9d1284d9bdd8) Change-Id: Ibc55db0909585c6472b92af519ffbe717b79c90c