issue #2771: delete some files added by mistake.