The debian package that should be synced is the latest debian version, so it should be fixed. The changelog talks about all these changes, and I see the things you're talking about in the diff-file. -- widelands: merge new debian version https://launchpad.net/bugs/51526