More debian packaging fixes.