Enable Gecode tests.