Replace built-in sed (BSD) by GNU sed