better OS detection in bashrc