Dont define HAVE_WCHAR_H since wchar_t is a 16-bit int rather than a 32-bit