On Wed, Apr 09, 2014 at 11:28:25PM +0200, Achim Gratz wrote: >Christopher Faylor writes: >> Nevermind. Stupid coding error. > >It appears that the new setup.ini is generated before any file removals >have happened, but after the copies have been done. No, that is not right. The setup.ini is created last. cgf