Replace stream_printf with php_stream_printf for PHP 5.5