Setting TEST_DISCOVER_TOP_LEVEL correctly