Update install-dev-env.sh