Fix build of ite code from minisat+