Update devenv-inner.sh