gtkwave 3.3.70 -> 3.3.71