Sed script working with non-GNU sed.