Make rc.php_ini_setup ready for php 5.5