--- ./mkioctls.linux.orig	2004-02-14 09:05:13.000000000 +0200
+++ ./mkioctls.linux	2014-03-28 08:42:34.000000000 +0200
@@ -4,7 +4,7 @@
 TMP2FILE=/tmp/$$b.c
 OUTFILE=linux_ioctl.c
 
-CPP="/compat/linux/usr/bin/gcc -E"
+CPP="/compat/linux/usr/bin/gcc -E -D__builtin_va_list=int"
 
 (echo	"#include <sys/ioctl.h>"
  echo	"#include <sys/soundcard.h>"