Delete foo.smt2