debian packages: corrected size