Remove another obsolete file