This problem is now fixed in both PDF and PostScript outputs. Your idea to make the stroke around the box was the right approach. But I did it in the better way in the PDF and PS drivers themselves. It is more general, fixes all the boxes and doesn’t change the file size. So all the tricks to bypass this issue are not needed anymore.
The PDF and PS outputs now work with buggy previewers… finally !! 