Well php 4.2.3 has been released. It fixes many bugs, you might want to think about upgrading to it.