Re: ghci dynamic linking