fixing bugs in File::seek