Hotfix release v1.0 Beta 9a

More fixes and sanity checks for low-end hardware, and another change to
the version management code. Now preparing release...