diff --git a/dist/hornverifier b/dist/hornverifier
index 47e4098f..92561340 100755
Binary files a/dist/hornverifier and b/dist/hornverifier differ
diff --git a/dist/roverd b/dist/roverd
index bc611709..9312e05a 100755
Binary files a/dist/roverd and b/dist/roverd differ
diff --git a/dist/servoverifier b/dist/servoverifier
index 96e66a6d..d7605719 100755
Binary files a/dist/servoverifier and b/dist/servoverifier differ