Replace tinythread with boost