syck-php and php 5.4