У меня вопрос к специалистам по окамлю.  Я когда линкуюсь с pcre.cma,
у меня окамль создаёт custom executable, а не bytecode ocamlrun script.
Почему так происходит?

$ cp -pv /usr/share/doc/pcre-ocaml-*/examples/pcregrep/pcregrep.ml .
`/usr/share/doc/pcre-ocaml-5.13.0/examples/pcregrep/pcregrep.ml' -> `./pcregrep.ml'
$ ocamlc -I +site-lib/pcre pcre.cma pcregrep.ml                      
$ file ./a.out
./a.out: ELF 32-bit LSB executable, Intel 80386, version 1 (SYSV), dynamically linked (uses shared libs), for GNU/Linux 2.6.9, not stripped
$ strip -s ./a.out 
$ ./a.out 
No bytecode file specified.
$ 

(strip действует на custom executables фатально; но и воообще
"дистрибутивно" ocaml не должен создавать custom executables,
если только об этом его специально не попросят.)