Port to python3/gtk3