Version bump.

This is the first version of collaboration with H. Schwender