Teensy currently only supports Arduino IDE 1.0.3, which does not support those conventions. The files are installed according to the conventions 1.0.3 defines.

I plan to support 1.5.x, but at the...