Hmm. None of those repositories/tutorials are at 4.7.2, yet. How "aggressive" do you think Arduino should be able chasing what could be a moving target? The reason for using a WINAVR/CrossPack style of package isn't just convenience; usually those are pretty stable releases, as well. (The Arduino IDE has had one release in the last year, right? 1.0 came out a little over a year ago, and 1.0.1 came out "recently.")