SPEC files for building RAMCloud RPMs