[pph] Merged trunk -> pph

[Diego Novillo]

This merge brings the pph branch up to rev 175832.  No new
failures nor merge conflicts this time.

Tested on x86_64.


Diego.