[PATCH] fix int encoding in list_rpms