When patched version will be available in Tumbleweed? How to fix now: not clear where to download rpm - URL?