Further bugfix for builds with USE_VLOGGING undefined.