remove stuff that was obsoleted long ago