Thread: remove an outdated declaration
Thread: add a virtual destructor
Thread: fix the join function