make dots_v work for our own build tree again...