Thanks @calmh! The binary you posted works for me. A revival of the official 32-bit Mac binary would be welcome to me, as long as this doesn’t require too much effort. 
Thanks @calmh! The binary you posted works for me. A revival of the official 32-bit Mac binary would be welcome to me, as long as this doesn’t require too much effort.