set z3 options in .smt2 instead of command-line
fix build against new parsec