do check for ixjuser.h in a way that can actually succeed :-)