Microsoft patches 1990s-era 'Ping of Death'