32-bit-RPM bauen