anchor.diff:  
   ;; CGAL
   (define-foreign-library libamino-opt-cgal
  -  (:unix (:or "libamino_opt_cgal.so"
  -              "libamino_opt_cgal.so"
  -              (:default "libamino_opt_cgal")))
  -  (t (:default "libamino_opt_cgal")))
  +  (:unix (:or "libamino-opt-cgal.so"
  +              "libamino-opt-cgal.so"
  +              (:default "libamino-opt-cgal")))
  +  (t (:default "libamino-opt-cgal")))
   
   (define-foreign-library libcgal
     (:unix (:or "libCGAL.so"
  
positive.code: 
  ;; GLPK
  (define-foreign-library libamino-opt-glpk
    (:unix (:or "libamino_opt_glpk.so"
                "libamino_opt_glpk.so"
                (:default "libamino_opt_glpk")))
    (t (:default "libamino_opt_glpk")))
  
  (define-foreign-library libglpk
    (:unix (:or "liblglpk.so"
  
negative.code: 
  ;; CLP
  (define-foreign-library libamino-opt-clp
    (:unix (:or "libamino-opt-clp.so"
                "libamino-opt-clp.so"
                (:default "libamino-opt-clp")))
    (t (:default "libamino-opt-clp")))
  
  (define-foreign-library libclp
    (:unix (:or "liblClp.so"
  