Exporting setenv.sh entries to make them operational