* Define target MIP Convert config file * Adapt code behind `generate_user_config_files` to produce equivalent files