updated setup scripts to include z3-4.0