Import minieigen in gui/qt4/SerializableEditor.py.