apply patch for Arduino 1.5.1 from:
https://github.com/mjoldfield/Arduino-Makefile/issues/32