use appropriate name for sha512_file function with ctx