How does this work? The prologue enables the extension, so it isn't possible to run the test suite with the extension disabled. Does this need to be refactored so that the prologue only optionally enables the extension?