HAVE_ENCODER_IA64   91 config.h       #define HAVE_ENCODER_IA64 1
HAVE_ENCODER_IA64   50 dos/config.h   #define HAVE_ENCODER_IA64 1