win: get file size with file stat