this file was removed in #2685 
I suppose this PR should be fixed up and this file should be re-removed.
@deguio Federico