Hey down in Marathon! Does m/v mean what I think? I'm a long time yachtie too. Moved from California to Florida by way of the Panama Canal in 1986. Sailboat tho. 
Additionally, libc MUST be version 1.7.1. Version 1.8.0 deprecates some functions that arduino uses.
Some here are already running avr-libc v1.8.0 with Arduino. Requires minimal patching, and those have been reported to the Arduino crew. Hopefully, all that will be fixed in the new IDE release.
The only main deprecated data type in v1.8.0 is "prog_char" in Print.cpp. Replace that with "char PROGMEM", and you are good to go. I think this thread covers it:
http://arduino.cc/forum/index.php/topic,87186.0.html