diff --git a/dist/roverd b/dist/roverd index d165aa00..cbc5bc86 100755 Binary files a/dist/roverd and b/dist/roverd differ diff --git a/dist/servoverifier b/dist/servoverifier index 43f8df4f..d375e5cd 100755 Binary files a/dist/servoverifier and b/dist/servoverifier differ