IBM acquires Red Hat. Bad news for open source?