replace with Mathias’s dotfiles .osx