@dholm How can I update to a more recent Verilator version?  Is there some PPA or a 3rd party repo?