fuzzsmt-smt2 patch to handle SMT2 by Christoph Wintersteiger