Fix bug in the shared_setup.py