jake jsou zkusenosti s ports/security/krb5 ? Nezmrsi to system kdyz tam budu mit dva krb5? Proti kteremu se budou linkovat krb5-enabled aplikace? Jde ten systemovy nejak lehce odinstalovat?