fixed run script to call gtkwave