diff --git a/dist/hornverifier b/dist/hornverifier
index 9fd86483..9b89680b 100755
Binary files a/dist/hornverifier and b/dist/hornverifier differ
diff --git a/dist/roverd b/dist/roverd
index 9fe464c6..e44990da 100755
Binary files a/dist/roverd and b/dist/roverd differ
diff --git a/dist/servoverifier b/dist/servoverifier
index adc58aef..0ee8ca50 100755
Binary files a/dist/servoverifier and b/dist/servoverifier differ