path to Z3 is now a parameter