Update dump-env.pl