getting vhdl-mode-3.33.16 installed and operating?