"C:/Users/task_178725676392389/croot/z3prover_1787256943518/_h_env" text "Library/lib/pkgconfig/z3.pc"
