Port TinyTest to linux