===> Cleaning for gtkwave-3.3.28