Don't believe, but one more fix to Travis CI config :(