fix GREP_OPTIONS in /etc/bash.bashrc, fix #1559