Re: SoPlex and SCIP builds