[Bug 219401] tinyproxy RPM for non-x86_64 no longer available