issue #5: Update required verilator version