Discussed with @mtbc, the ``zeroc-ice33`` bug has never been reproduced with ``zero-ice34`` to the best of my knowledge. Additionally, now we decided to support Ice 3.4 as the default Ice version for the Homebrew installation, it is sensible to recommend the upgrade since it will be more supported by our CI infrastructure.