this is not in old cmake (10.2) add it so it works for everyone
this is not in old cmake (10.2) add it so it works for everyone


ryppl/sat-solver,ryppl/sat-solver,ryppl/sat-solver,ryppl/sat-solver,ryppl/sat-solver