Linux bug imperils tens of millions of PCs, servers, and Android phones