These ones have been used for several months already and are quite convenient to emit new releases and backport fixes. I'm fed up with having different versions on different machines, let's commit them now.
