Travis CI fix attempt #3