update SMT-nice patch to v5