maxdore/csolver not found