They are included with all releases!
It may throw some warnings, but if it will compile, there is no need to worry. The warnings are there because the STL lib is old version which contains throw keyword which is not used in C++ anymore.
If there will be error with the libs and won't compile, try removing and adding back the libs in the Arduino IDE.
This means if you would like to download the *.ino file, go to the Release tab and get it from there.
If you are wondering where is the C++ source file, go to /src/main.cpp