push bugfixes submitted by stefan and change version for bugfix release