echo "*** that the run-time linker is not finding GiNaC or finding the wrong"
echo "*** version of GiNaC. If it is not finding GiNaC, you'll need to set your"
echo "*** LD_LIBRARY_PATH environment variable, or edit /etc/ld.so.conf to point"
echo "*** that the run-time linker is not finding GiNaC or finding the wrong"
echo "*** version of GiNaC. If it is not finding GiNaC, you'll need to set your"
echo "*** LD_LIBRARY_PATH environment variable, or edit /etc/ld.so.conf to point"