Definitions of round file:

• noun:   a file with a circular cross section; used to file the inside of holes