Changelog for yosys-1507975045.716dbc92-32.1.x86_64.rpm :

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