[smt88]

5.4 has major regressions and was a hellish nightmare for me for a while. I'm stuck on 5.3 now, too. I can't believe such a major tool is so poorly tested.