Several updates. Use TinySTM instead of GCC STM.