#0  _IO_vfprintf_internal (s=0x0, format=0x4099b3 "log_file: %s\n", ap=ap@entry=0x7fff6fb6e928) at vfprintf.c:1295
  [Error: vfprintf.c was not found in source tree]
#1  0x00007fef36a436a7 in __fprintf (stream=<optimized out>, format=<optimized out>) at fprintf.c:32
  [Error: fprintf.c was not found in source tree]
#2  0x000000000040690e in main (argc=3, argv=0x7fff6fb6ec38) at gpu-manager.c:2438
  2433: 
  2434: 
  2435:     /* TODO: require arguments and abort if they're not available */
  2436: 
  2437:     if (log_file)
  2438:         fprintf(log_handle, "log_file: %s\n", log_file);
  2439: 
  2440:     if (!last_boot_file)
  2441:         last_boot_file = strdup(LAST_BOOT);
  2442: 
  2443:     if (last_boot_file)