round file

noun

1.
a file with a circular cross section; used to file the inside of holes