diff --git a/dist/hornverifier b/dist/hornverifier
index 051175f3..67c1f649 100755
Binary files a/dist/hornverifier and b/dist/hornverifier differ
diff --git a/dist/roverd b/dist/roverd
index 01f4378c..9556fdae 100755
Binary files a/dist/roverd and b/dist/roverd differ
diff --git a/dist/roverd-debian-laptop b/dist/roverd-debian-laptop
index 0976fb70..c9b48a0b 100755
Binary files a/dist/roverd-debian-laptop and b/dist/roverd-debian-laptop differ
diff --git a/dist/servoverifier b/dist/servoverifier
index 7305b930..6a16f5a4 100755
Binary files a/dist/servoverifier and b/dist/servoverifier differ