Fix use of undocumented sed option.