add winpthread-mingw64 formula