Fix the Travis configuration