Attempt to make it work in Travis CI (2)