Bug fixes

• The build of v1.17.1 was not properly published, leading to confusion and mixed installs. This release is identical, but properly distributed.