Merge remote-tracking branch 'upstream/debian/sid' into bugfix/coverity