Paul van der Meij points out that do_reconfig() should not free