Removing duplicates

These are superceded by higher versions, and are not in the subversion
anyways.