find libsatsolver.la