Changelog for yosys-1504945088.f9d023c5-1.42.i586.rpm :

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