Fix the compilation of .cmxs