Install only SR4 by default on CI instances.