Fix #3150482: "configure --with-vv" test uses wrong include