also produce .cma and .cmxa files