diff --git a/dist/hornverifier b/dist/hornverifier
index 65a9a1ad..07cc09d5 100755
Binary files a/dist/hornverifier and b/dist/hornverifier differ
diff --git a/dist/roverd b/dist/roverd
index c6681490..bd75328c 100755
Binary files a/dist/roverd and b/dist/roverd differ
diff --git a/dist/servoverifier b/dist/servoverifier
index 5f8b2e5d..d4b9dc63 100755
Binary files a/dist/servoverifier and b/dist/servoverifier differ