Add SHA256 and SHA512 algorithms to mkdef.pl.