I've probably found a solution to this pretty annoying problem.
Since I'm running Debian wheezy and I'm pretty lazy i just put the following line as a third line into my Arduino.h
#define __AVR_LIBC_DEPRECATED_ENABLE__ 1
You can find the Arduino.h (at least on a linux system) under:
/usr/share/arduino/hardware/arduino/cores/arduino
Hope that helps as a temporary fix