Update dump-env.py