autoconf: use virtual?awk instead.