20181030 business.india-business: India's key systems run on Red Hat