Modify setenv script to use dev_hosts file.
Trivial changes.