Get rid of warnings about missing inclusion of unix library in hard-coded command#245

nberth wants to merge 1 commit intoOCamlPro:nextOCamlPro/drom:nextfrom

nberth:rid-of-warnings-about-unixnberth/drom:rid-of-warnings-about-unixCopy head branch name to clipboard