port to gecode >=4.0