Fix typo in verilog.spec it should be blif.tgt not blif.txt