platform-specific code for determining file size

 - use stat() on POSIX platforms
 - use GetFileSizeEx() on WinNT platforms