updated tinyosf to 0.3.5