Fixing Travis CI once more