into the directory of the example executable so that it works "out of the box".
Z3Config.cmake
Z3Target.cmake