fix python w.o. proper intallation, #338, #340
fix python w.o. proper intallation, #338, #340

Signed-off-by: Nikolaj Bjorner <0654de5c81f471cf6f3d20a913eab9a374626acd@z3-mac.local>

mschlaipfer/z3,kyledewey/z3,mschlaipfer/z3,mschlaipfer/z3,kyledewey/z3,seahorn/z3,seahorn/z3,seahorn/z3,seahorn/z3,mschlaipfer/z3,mschlaipfer/z3,kyledewey/z3,kyledewey/z3,seahorn/z3,seahorn/z3,kyledewey/z3,mschlaipfer/z3,kyledewey/z3