Update env_setup.txt