1  #include <stdio.h>
       2  #ifndef GCC_TMPNAM
       3  #define GCC_TMPNAM
       4  static inline char *gcc_tmpnam(char *s)
       5  {
       6    char *ret = tmpnam (s);
       7    // Windows sometimes prepends a backslash to denote the current directory,
       8    // so swallow that if it occurs
       9    if (ret[0] == '\\')
      10      ++ret;
      11    return ret;
      12  }
      13  #endif