PHP 5.6 RC 4 update