ports/cad/gtkwave/patches
