migrate: libsbml -> python-libsbml