Correct the name of the vdebug repo.