adding vergen.c