Added repo to make ghdl install work