diff --git a/dist/hornverifier b/dist/hornverifier
index 2b3ee771..b180ee7b 100755
Binary files a/dist/hornverifier and b/dist/hornverifier differ
diff --git a/dist/roverd b/dist/roverd
index 4032c1de..b5dcd369 100755
Binary files a/dist/roverd and b/dist/roverd differ
diff --git a/dist/roverd-debian-laptop b/dist/roverd-debian-laptop
index c0493c2f..ef4aaf12 100755
Binary files a/dist/roverd-debian-laptop and b/dist/roverd-debian-laptop differ
diff --git a/dist/servoverifier b/dist/servoverifier
index 2216711b..14ae5739 100755
Binary files a/dist/servoverifier and b/dist/servoverifier differ