PHP 5.3.22RC2 and PHP 5.4.12RC2