ghci dynamic linking