If you're very sure that the bogus symbols were never used in applications (which seems likely since nobody noticed their removal), then I think it's OK to retroactively drop them from the ABI.