vsprintf.c: correct printing of a NULL device path