File it down and you are good to go. The bike co-op I go to usually grinds them down with angle grinder. This is quite common with an older fork, I've seen a lot of people grinding their fork ends at the co-op.