per provider launch_prefix removed ... instead a general launch_prefix has been added to the global elephant config.