For the future, you could just remove the nut and sand down the bottom of the nut. That would effectively lower all of the string slots without needing a nut file at all.
Obviously, that assumes that they are all the right depth respectively. If you need to lower just one slot, you'll need some type of nut slot file.
Glad you got it taken care of though.