Circumvent upstream race detector bug.