Operating system repair