Implemented Thread wait~timed() on Linux. cf. #662