fix build of .cmxs