Work around RBX bug by making a spec pending.