install STL for Arduino IDE

Hi all,

I have tried everything I could think of. Please help if you can.

Can anybody provide complete instructions on how to install the STL for Arduino IDE v1.0.1 on Linux? (Ubuntu 12.04.1)

What I have tried: http://andybrown.me.uk/wk/2011/01/15/the-standard-template-library-stl-for-avr-with-c-streams/ offers a download for the STL.

But it is not clear where the Arduino IDE expects the include files to be. I have tried a number of dirs at this point.

Can anybody provide a full path for Arduino v1.0.1 on Ubuntu 12.04.1?

Thank you so much for your help and your patience. It is much appreciated!