When I downloaded the following version: VMware Workstation 17.5.0 Player for Windows 64-bit Operating Systems (VMware-player-full-17.5.0-22583795.exe), upon running the application, it shows up as a 32bit program in Task Manager? Curious. Thank you in advance.