This exact behaviour was observed by others when building with Arduino 1.0.6. The problem "magically" goes away when building with later versions of the Arduino IDE. I installed 1.6.8, and voila, printing from SD now works.

For reference: https://github.com/MarlinFirmware/Marlin/issues/3229