--- tccelf.c.ori	2005-05-10 18:51:59.000000000 +0200
+++ tccelf.c	2005-05-10 18:54:43.000000000 +0200
@@ -1644,12 +1644,16 @@
         ehdr.e_ident[4] = ELFCLASS32;
         ehdr.e_ident[5] = ELFDATA2LSB;
         ehdr.e_ident[6] = EV_CURRENT;
+#if 0 /* for Konvalo we want Linux-branded executables -- pin */
 #ifdef __FreeBSD__
         ehdr.e_ident[EI_OSABI] = ELFOSABI_FREEBSD;
 #endif
 #ifdef TCC_TARGET_ARM
         ehdr.e_ident[EI_OSABI] = ELFOSABI_ARM;
 #endif
+#else /* Konvalo, brand as Linux */
+        ehdr.e_ident[EI_OSABI] = ELFOSABI_LINUX;
+#endif /* Konvalo */
         switch(file_type) {
         default:
         case TCC_OUTPUT_EXE:
--- elf.h.ori	2005-05-10 18:59:12.000000000 +0200
+++ elf.h	2005-05-10 18:59:59.000000000 +0200
@@ -151,6 +151,7 @@
 #define EI_OSABI	7		/* OS ABI identification */
 #define ELFOSABI_SYSV		0	/* UNIX System V ABI */
 #define ELFOSABI_HPUX		1	/* HP-UX */
+#define ELFOSABI_LINUX		3	/* LINUX */
 #define ELFOSABI_FREEBSD        9       /* Free BSD */
 #define ELFOSABI_ARM		97	/* ARM */
 #define ELFOSABI_STANDALONE	255	/* Standalone (embedded) application */