Skąd pobrać GCC 4.4.4. ?
GCC 4.4.4 jest w aktualnym oficjalnym SDK, więc jeżeli go zainstalowałeś, to już masz ten kompilator. Do przełączania się między dwoma kompilatorami służy komenda GCCSelect. Aktualnie aktywny w SDK kompilator sprawdzasz poleceniem:
gcc -v