Fix gvedit build.