a bit of linux support in bashrc