I am trying to use the SDK manager to install jetpack into TX2 through a virtual machine running Linux on a mac laptop. I can successfully run the SDK manager 0.9.12 but I cant seem to run the latest version of the SDK manager on the virtual machine. This limits the jetpack version I can flash into the TX2. Because for anything above jetpack 4.2 i need the latest version of the sdk manager which I cant seem to run on the virtual machine. Help!