* stdio-common/vfprintf.c: Include <libc-lock.h>.