Make `make check` work with BSD grep and sed

Remove use of some GNU-specific features: grep -P, non-greedy repetition in sed.