Content-Type: text/plain Content-Disposition: inline Content-Transfer-Encoding: binary MIME-Version: 1.0 X-Mailer: MIME-tools 5.427 (Entity 5.427) Subject: use wix builtin instead of shell to rename krb5.ini X-RT-Original-Encoding: iso-8859-1 Content-Length: 142 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.