I'm having trouble starting Dave in the dive, should I download a program and install it within Winlator?