Re: actual binary sizes and those reported by 'rpm'