back.verilog: use `proc -nomux` if it is available.