Required derfinderHelper 0.99.0