diff --git a/org.alloytools.alloy.dist-6.1.0-20240301.142221-26.jar b/org.alloytools.alloy.dist-6.1.0-20240301.142221-26.jar
new file mode 100644
index 000000000..19fb65d43
Binary files /dev/null and b/org.alloytools.alloy.dist-6.1.0-20240301.142221-26.jar differ
diff --git a/org.alloytools.pardinus.core/src/main/java/kodkod/engine/satlab/SATFactory.java b/org.alloytools.pardinus.core/src/main/java/kodkod/engine/satlab/SATFactory.java
index 65255293f..4165d1432 100644
--- a/org.alloytools.pardinus.core/src/main/java/kodkod/engine/satlab/SATFactory.java
+++ b/org.alloytools.pardinus.core/src/main/java/kodkod/engine/satlab/SATFactory.java
@@ -290,6 +290,8 @@ public boolean isPresent() {
 			return true;
 		} catch (java.lang.UnsatisfiedLinkError e) {
 			log.debug("lib {} gave error {}", id(), e.getMessage());
+		} catch (Exception e) {
+			log.debug("not present {}", id());
 		}
 		return false;
 	}