Correct version number in the built binary

Thanks to advances in the state-of-the-art in package management technology,
and a bit of sed, we no longer have to embed release version numbers in git
commits.