Hi, I'm trying to use the Windows 10 Subsystem for Linux bash environment with MuJoCo and openAI gym, and I am unable to generate a computer ID with getid_linux. I just get LINUX__095 as the ID. I need a Linux ID since trying to run my openAI gym environment with bash requires the linux version of MuJoCo. The Windows version does not have the right executables for the WSL bash environment. Is there another way to get a Linux computer ID? Thanks.