Roberto, I just noticed that the gmp package in fink doesn't build gmp with the -fexception configure option. Do you think that could cause make check failures in ppl 0.9? Jack