those files are rmoved, because they were erroniously restored by previous merge