If there is no nail file at hand, you should shorten the nails with nail scissors or the nail clipper. You can then use a piece of very fine sandpaper for deburring.