Mantis X compilation