Shorten the format name of krb5pa formats.