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: 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!