Real release.

The coding style is embarassing to me now, but this works.
Gave up on trying to autoconfigurize this.