MOVED: Where to place Andy Brown's STL port on Linux?

This topic has been moved to Programming Questions.

http://arduino.cc/forum/index.php?topic=77555.0