add winpthread-mingw32 formula