Changing PkSolver to be statically linked to work around install issues