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