Bug fixed in checkrgffilecontent: check started with rgf_to_check.at(1)
and not with rgf_to_check.at(0) despite no header in rgf_to_check; fixed
but not tested