Fix problem (segfault)  with serialize BloomFilter object (PHP 5.4)