More Z3 stuff for .travis.yml