fix a problem with duplicate mongo sources.list entries