.cmxa and .cma do not embed menhirLib