Fix #245: Replace egrep with grep -E

Running egrep says to use grep -E instead. Make it so.

Merge request reports

Loading