Merge branch 'packaging' into debian