Remove from spurious copy of ssreflect files.