z3 for linux32