More attempts at figuring out docker/travis