broken documentation links

http://www.arduino.cc/en/Hacking/BuildProcess
The actual file names and locations in the latest release do not seem to match up very well.

I want to port the arduino enviroment to ARM GCC as a open source project