You can comment ou the call to yosys and just use the same tag, it should pickup the produced file I guess.