Launch-time configurator for docker