Several of the Leathermans (the Wave I know for a fact) have a diamond file included. It does an excellent job on nails, and other things as well.

I know that's a little outside your size range, but if you're going to carry a multi-tool anyway, the additional size and weight of the file is zero.