trivial: Remove an obsolete file