Simple RPM package for the Starlink binary distribution