bump SMT-nice patch to v6