(Arithmetic) Remive an useless file.