Tentatively fix travis.yml