It seems like mkdef.pl couldn't quite understand that #ifdef OPENSSL_NO_SHA512

was still active when it came down to the functions.  mkdef.pl should really
be corrected, but that'll be another day...