if you have the file held properly, you end up filing the top plate, and the curve.
9mm is roughly 11/32, a 7/32" file is what I use for 3/8 chain. I'd think 9mm to be way to big, find something closer to 5.5mm
have I mentioned today how much I hate the metric system?