Gecode compiles