Ubuntu replaced RHEL in Indian supreme court