Remove the need for -disable-correct-folding from this test.