Using php_stream_stat() to get file size instead of php_stream_seek/tell()