PHP 5.4.13 and PHP 5.3.23 are out