Remove krb4 configuration files We use krb5, there's no need to pollute /etc with unused configuration files.