Add ppl to the configure call of gcc 4.7