fix setenv script to work with kserver