Use SHA512 as passwd hash. Formatting changes