requires scip to build