iocaml: cmt files are not installed for 4.00.1