<*.cmx> and not <mlpost_dot.cmx>: for-pack(Mlpost_dot)