Little fix to make the UI GTK+3 compilant