ignoring smt2 config