Hello,
I prefer working on the command-line, so I was making a script for firing up the Arduino Makefile with parameters set from boards.txt and libraries detected (so I don't have to copy and edit the Makefile every time I make a new project). While making it I noticed that the Makefile seems to be missing Print.cpp from hardware/cores/arduino – probably because the Makefile has version 011 and Print.cpp has apparently only been included in the core since 012. I hope the Makefile gets updated to include this in the next release.
The compiler flags in the Makefile also seem to be a bit out of sync with those used by the GUI.