Restore setenv.sh