remove (hopefully) obsolete files