I have no idea. I never considered that it would affect using the race detector and it's been so long now I don't know that we cared / ran into this issue so no

I have no idea. I never considered that it would affect using the race detector and it's been so long now I don't know that we cared / ran into this issue so no clue if it has been fixed. Thanks for opening my eyes to this shortcoming.