Small change to the error message when native solver can't be loaded.
Small change to the error message when native solver can't be loaded.

drayside/kodkod,drayside/kodkod,drayside/kodkod,drayside/kodkod,drayside/kodkod