src/tools/setenv-scripts
