updated kompile scripts to include path to z3 dlls