remove some very old files which seem unnecessary