version bumps (pre rc10)

We'll make rc10 tomorrow, but I want to build a release just to play
with built releases again.