Update workspace_setup.bash