Bugfixes for builds with USE_VLOGGING undefined.