PHP 5.3.25RC1 and 5.4.15RC1