Pull for PHP 5.3 final release patches