Tcl/Tk should be manually specified for GTKWave, to ensure that they're found These should be specified with `configopts`, not `configure_cmd`; magic and netgen should be revised to this syntax as well for clarify