fix gui bugs on linux