fixed the build of the ".cma" / ".cmxa" libraries