Plugify krb5-18/23 formats.