remove old debian packaging