Update ubuntu-dev-env.sh