Fix for the --pp option on piqic-ocaml which sometimes produces binary output and remove dependency on /bin/sh when invoking camlp4o