More travis fixes - almost works for Z3 and Z3-str