Links for vauban-verify