bashrc: use color=auto for GREP