@bathory:
thanks for your reply,
I will contact my vendor to upgrade their php, and when they are ready, we will upgrade our php directly to 5.2.17 as you suggested.
And if I were to upgrade to 5.2.17, which repository should I use? I think compiling from source would be a pain...
again, thanks for your help.
regards,
Yoachan