Make ds_vprintf() properly handle a null string.