I made a box driver for 4 mm nut.
There are holes in the center of the shaft, so the bolts do not interfere.

It was designed assuming a PLA filament.
In the case of ABS filaments it shrinks, so you should print with a size of 105%.