VirtHCK: Fixes #6: use WTTSTUDIO environment variable while running HCK Studio