We need to make RPMs with the CI builds. But the CI builds use debian. Sort this out... Probably using Docker.
