Travis configuration fixes