use default filename (dump.vcd)