Changing the verbosity at that point is not thread-safe (and trying to
restore the value at ext is somwehat logically flawed). Luckily all the
standard <stdio.h> functions are thread-safe.