Merge branch 'upstream' into debian