Added the libstdc++.so library for 32 bits machines

[ezequielpereira]

• The libstdc++.so library was added so it loads with 32 bits machines