Just in case the real FILE and the one from fmemopen weren't exactly the same.
mentioned in commit 0e1ae5ab