use hmacSha512 verbatim instead of DRBG