Reverted 315cdd2 & d4df1e8 (tinyosf)