Possible bug fix in vcffixup.cpp, where it would terminate with core dump otherwise