Small fixes
Added support for gcc-tsan instrumentation