#include "te-linux.h"
/* Hopefully "obj-format.h" included by "te-linux.h" isn't influenced by
TE_LINUX, is it? */
#undef TE_LINUX
#define TE_KPDA