Build 512: Do I need to install Windows Insider again?