Check sed options, not OS. Fixes #1