verilator_bin_dbg(1) on Linux

The text ae9b58e4801b, as Debian 12 (Bookworm) shipped it.

Translate and simulate SystemVerilog code using C++/SystemC

verilator_bin_dbg(1) on Linux now