Removing an obsolete file