Clean up Libtool files left behind by PPL and CLooG-PPL. Fix a compilation error with CLooG-PPL where it cant find libstdc++.so.