Attempt to make it work in Travis CI (3)