Fix DeltaBlue benchmark