PHP: fix serialization errors again for PHP 5.3