update for gtk gui. fixes #673