AliInst: check for 64 bit