Change download path in libs.sh

[gregkowalsky]

With the DEST set to ".libs.tar.gz" the untar would sometimes fail for us. Using the regular filename of the download works flawlessly each time we tried to use it.

[redexp]

Problem not in DEST, problem in curl option -LO where O means use original filename and next to it option -o not overwrites it.