Make SHA512 the default for mkpasswd again, as SHA512 support is guaranteed to *always* be in libratbox.