Remove vergen.c completely