Fixes build script, no /usr/doc/ stuff by default
Forcing STL detection to SGI like