fixed copying from Z3 and install