v0.8.1.1

This re-release of v0.8.1 for macOS with an additional change was a failed attempt to fix frequent crashes, #1077. It will be replaced by v0.8.1.2 as soon as possible.