Where is the .vmx file for vmware workstation player 12