gtkwave is working, we needed to change the zoom size