New upstream version PHP 5.4.13