Update dev_env.js