OC-9262: Gecode packaging