hack and note for z3 to work on mac.