Removes obsolete files

Seems like it's not needed anymore. If that's not the case, feel free to
close this PR.
Merge pull request #9898 from twokul/obsolete-file

Removes obsolete file