Added tinythreadpp as an external