switch to cross-platform tinycthread