Fix sed command argument for Mac OS X
See https://forge.ocamlcore.org/tracker/index.php?func=detail&aid=1068&group_id=152&atid=690