PHP 5.4.13 and PHP 5.5.beta

We just successully upgraded from PHP 5.4.11 to PHP 5.4.13 and those two might-be bugs I found in PHP 5.4.11 still remains so I should report the bugs. But today PHP 5.5.beta1 was released, so I will make an effort to install 5.5beta first to see if the bugs is still there and if so report them in PHP 5.5 instead.