Another Travis CI fix