Changes to bashrc to make it work with kaust workstations