modify .bashrc to get rid of OS-specific things