Removes obsolete file

Seems like it's not needed anymore. If that's not the case, feel free to
close this PR.