fix eof in skipfish parser