fix gen-verilog script