v4.0.1
Change the first iteration test so static analysis better understands the code
Add ${WFLAGS} to more places
fix the use of isdigit everywhere
Drop the auvirt utility