Fix Travis configuration