Setting up a linux vm on windows 10