Re-enabling apt-get update in dev-env.sh