I never could file out a round hole, always lopsided. If you have an old blank of a suitable diameter, apply some adhesive backed sand paper and ream away. Clean out the seat well, the loose grit left behind can come back to haunt you.