/* readdir64 is in readdir.c */