Build and install sequence.cmxs