Microsoft quietly patched Shadow Brokers' hacking tools