Attempt to make it work in Travis CI (4)