Make it possible to monkeypatch ok() again