Merge "tools_common.sh: Fix vlog()"