Could GHC be configured to look for libgmp.so.3, or whatever version it was actually linked against, if it can't find libgmp.so?