round file

Noun
  1. a file with a circular cross section; used to file the inside of holes
round file
A carpenter uses a round file to smooth the inside of a wooden hole.