You can buy a cheap, soft screwdriver and notch it with a dremel or hand file but your small screwdriver should do the trick because you apply the torque from the other side with a driver on the slotted bolt.
A dab of blue locktite will keep the nut in place for a few years until the cables need replacing.
edit...Khatful beat me too it...