A round file would also work and be a bit easier to locate- work carefully, or you can wind up with an egg-shaped hole, though. (As to the advisability of doing this- no opinion).
Oh, and the round file ought to cost what a tube does or less, and be available locally.