tinythread fix