Tentatively fixes Travis configuration