Updating malloc.c for Arduino IDE

Hi,

I am hoping to update malloc.c to fix a potential memory leak problem but not sure how to go about updating the file... I can't find malloc.c anywhere in the Arduino installation? Anyone know how to do this?

The malloc.c file is here: http://svn.savannah.nongnu.org/viewvc/*checkout*/trunk/avr-libc/libc/stdlib/malloc.c?root=avr-libc