dotfiles: remove grep gnu extension usage