How to run DevTest Workstation installed on a Linux system from a Windows environment