updated to use 64-bit libsbml