Minor tweak to test setup for race detector interps