Some fixes to the build system mostly related to dynamic linking.
Some fixes to the build system mostly related to dynamic linking.

  Thanks to Michael Tautschnig <mt@debian.org> suggesting the fixes.

meteor/minisat,niklasso/minisat,robertsami/minisat,mabdula/minisat,meteor/minisat,mabdula/minisat,jamesbornholt/minisat,robertsami/minisat,niklasso/minisat,meteor/minisat,jamesbornholt/minisat,mabdula/minisat,meteor/minisat