working verilated model with gdb server