Subject: | use wix builtin instead of shell to rename krb5.ini |
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.
there is a builtin for moving/renaming files.