[tooler2]

I would profile a grinding wheel for that job but you can do it the tedious way with a file that has a smaller radius. Maybe a rod with sand paper to finish.