Tweak setup for Travis CI (hopefully it will work now)