Scripts used by Jenkins CI for building our RPMs