[PPL-devel] [PATCH] fix --with-gmp-build= when gmp builddir != srcdir