/* fxstatat64 is in fxstatat.c */