Use fprintf(stderr,...) for progress messages.
I doubt we need a VUT_Msg() for that, given that only one use was
from outside vut.c, and that is probably an API mistake.