Merge proposals

ppl-gcc4 in Ubuntu has no merge proposals.