ppl011: fixes configure option

--with-gmp replaced by --with-gmp-prefix.