I think this file is never used? At least in this PR.