Now using University of Texas' Java implementation of the Linux/Unix $6$ (SHA-512) algorithm.

Seems to be working. We need other test files.