why do we need to use stat64 here?