Band-aid fix for the TSan RTL build