Revert "Try statically linking libstdc++"
Revert "Try statically linking libstdc++"

This reverts commit 1450a17d551e3899cdcd53e5c91eb26e3eb5cf11.

GaloisInc/saw-script,GaloisInc/saw-script,GaloisInc/saw-script,GaloisInc/saw-script,GaloisInc/saw-script