Microsoft relaunched Windows 10 October Update after fixing a loose file error