deleted unnecessary files

these files have been lurking around for a long time, and only now I had
anopportunity to remove them