make setup_workplace.sh use /bin/bash instead of /bin/sh