Estou compilando um software para Linux que precisa da versão 4.72 do compilador mingw32 para funcionar. No entanto, a versão nos repositórios é apenas 4,4, onde posso encontrar 4,72?