Finally do good debian packaging