Fix problem that loading multiple C++ extensions causes PHP to crash with segmentation fault