wip/gecode/patches
