Try out a different way to specify SPEC_OPS in ci.sh