Use sed regexp option recognized also on mac.

Apparently the -E option (regexp extended) also works on linux, but it
doesn't seem to be documented.