We need to combine (or merge) the source entries again to avoid a warning about duplicate sources from apt.
