updates for SCIP 3.1.x; older versions no longer supported