ppl011: fixes configure option

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

Closes #164.

Signed-off-by: Xiyue Deng <manphiz@gmail.com>