Microsoft notches up a win in fight over Linux IP