Update wvlog.h