Fixed button sizing in some themes.
Fix make distcheck
Prepare for the release.
Post-release version bump.