Ubuntu isn’t the only version of Linux that can run on Windows 10