Delete tinythread.h