If the screwdriver doesn't get it, a spanner can be made from an old junk-drawer socket of the right diameter.
You will need to carefully grind the material away from the pair of pins that you want left raised on the edge of the socket. This can be done easily w/a dremel- to do it by hand w/a file, etc. would take a LONG time!
This is .