make bashrc work with bash3 (osx) and bash4 (linux)