Merge proposals

gecode in Ubuntu has no merge proposals.