Temporarily switch back to running specs on iOS 7.1 in CI