We get rid of old krb5.ini files by renaming them; currently a custom shell script is used, but 
there is a builtin for moving/renaming files.