mysql-workbench & mysql-workbench-dev: try to fix swig / python problem