debian packaging modified.