Fix setenv script.