Re: dynamic linking with stdc++ (was: Re: ghci dynamic linking)