Travis CI tweaking II