Linux makes gains as Windows and Mac OS slip