removed libstdc++ as default stdlib; should fix linux builds