There's w64devkit too. Ah, well, mentioned.