Cuba launches own Linux variant to counter U.S.