BuildTools - Revision 4122: /ThirdParty/SCIP/stable/1.2