Some simple changes needed to do that. The interesting question left: Should config_spec.ini also be moved?