[GHC] #8465: ./configure fails on ghc-7.6.3: does not find installed libgmp.so.3 and current directory