add gecode compiled deb