minor nitpick but do we even need this file in the patch now?