correct sed command to work correctly on mac
see https://forge.ocamlcore.org/tracker/index.php?func=detail&aid=1068&group_id=152&atid=690 for more details