Launch the doctor within Terminal as a temporary fix for issue #374.