Old CVS IDs should be removed