Reuse the distro package for gecode