add forgotten BGZF EOF marker back in