Updated to latest version of tinythread