Build fix: .cmxs compilation