Z3-str attempt in .travis.yml