* vCtdlLogPrintf(): add the userID when reporting from a system thread