Red Hat decision turns world of open-source Linux upside dow