Fix a few internal unfiltered-specs2 references.