BuildTools - Revision 4144: /ThirdParty/SCIP