Create correct RPMs.

This time on top of `develop`, as requested by @boegel.