bashrc: be a little nicer on linux machines