fix gmp build on i386-linux
fix ppl url