Adjust to changes in SMT debug backend