Reenabled pthread stuff in RTMTxnManager