Changelog for yosys-devel-1723857014.dbdb3e5d-7.20.x86_64.rpm :

* Wed Feb 22 2017 David Lanzendörfer - yosys Fixing the issue with the prefix