Linux market share grows vs. Windows and Mac OS X shrinkage