use a serverpool instead of server pgp server

because pgp.mit.edu hangs from time to time