Merge pull request #73 from antmicro/yosys-select-fix

Yosys selection fix