Based on 8a7dcd4ef1a3f99f15fa27eab60885cef377c4a5. Bring back winpthreads removed in b37e0bdd
00:43:38
Dec 01, 2020