AliInst: 64 bit OS warning