Fix bad location of .cmx generated along .cmxs.