It seems you can't crack kerberos krb5 hashes for usernames that start with a dollar 😕