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