usr/share/man/man1/verilator.1.gz usr/share/man/man1/verilator_bin.1.gz
usr/share/man/man1/verilator.1.gz usr/share/man/man1/verilator_bin_dbg.1.gz
