And what if this bug happened to affect Linux somehow too? What then?