rewrote .bashrc and .bash_profile,
now also works on linux servers