Make sure to undo monkeypatch (bootstrap() is invoked multiple times by
MCSFinder)