pkgsrc/emulators/suse100_krb5