Fixed Yosys version in VlogHammer report