Added sha512 bash alias