added release name to output of decrypt_hashes.php