encoder/gui.cs fixed for new SqliteEncoder