* More debian packaging updates