Fix build to compile ppl > 0.11.2

Provides library path for the new ppl 'configure' which needs
to links libgmp libgmpxx.

Also remove outdated --with-libgmp-prefix

Change-Id: I3be601c523fe1512e878a0aad632b9da2721c1bd
1 file changed