Reverting setenv.sh to sed