VAX C can't handle 64 bit integers, making SHA512 impossible...