Upgrade debian packaging to master