turn on race detector by default