fix a TODO item (use fseek instead of reading everything)