removed tinythread and started using boost threads instead