Update and fix debian packaging