correct sed repetition-operator operand for osx, fix #1911