Fix issues with reproduce_ci_env.py

Recent changes to the CI configuration were incompatible with the reproduce_ci_env.py script. These changes make it possible to locally run CI docker instances.