Hi Paul - thanks for the rapid response. I went back to the drawing board, using your bare Teensyduino materials (instead of the teensy-template). Still, I get the same problem.
/Applications/Arduino.app/Contents/Java/hardware/tools/arm/bin/arm-none-eabi-g++ -std=gnu++0x -felide-constructors...