Getting the pathname from a FILE*.

[Philip Budne]

Names are a property of directory entries, not files (inodes).  Un*x
files do not have "names" since many directory entries can reference
the same file.  The stdio library echos this.  Since you called
fopen() you can save the info.  The real pain is figuring out what an
fd from a parent is, or chasing down what file finally was opened
after 3 symlinks.

Philip Budne, Boston U
(Ahh for JFNS%)