Use lseek() with _FILE_OFFSET_BITS=64 instead of _LARGEFILE64_SOURCE and lseek64()
Add platform wrappers for yielding threads