support for php_serialize fixes #4153