Fix Travis configuration to take Mind4SE compiler