[Bug 194471] grep --ignore-case is very slow in UTF-8