Use tinyosf 0.3.x instead of 0.3.5