Stay consistent: stick to verstub.cpp instead.