modelsim: fix signal names