Implemented resize() for asynchronous file streams, fixed a prefetching bug