It looks like the user can't compile a file like this:
#include <limits.h> int big = INT_MAX;because the compiler in the user's environment will say "error: Unsupported architecture". If so, this sounds like it's a configuration problem on the user's side, as C code like that should work regardless of whether Autoconf is being used.