PHP 5.3.25 and PHP 5.4.15 are already out