Re: [PATCH] fix int encoding in list_rpms