Install brand new libgmp
Look in correct place for prebuilt libs