Hi all, I just pushed a new bug-fix release to PyPI. The *only* change is a fix for the static build, which was accidentally broken in 2.2.3. There are no code changes in this release. Have fun, Stefan