A few amendments to cmake. 64-bit version works.
Rework ExternalSolver.