What to do about $AIXBT ? He is so hard.