I see. I naively thought that rpm's configure script would have a --with-7z parameter to which we could pass the binary we want to use and that would be recorded into /usr/lib/rpm/macros. But apparently not :(