get-glpk-cut-log script, and configure code.
Minor fixes to get-abc script and configure stuff.