[csisat] Rebuild for new glpk and new picosat.