Adding execute-vhdl option.