Важная проблема решена. Дело в том, что PHP 5.2 и 5.3 по-разному сериализуют ArrayObject. В 5.3 для этого есть специальная функция. Пришлось вносить коррективы.