Use posix.realpath, and hence get rid of all C.