Update setup-ws.sh