diff --git a/dist/roverd b/dist/roverd index be92bc49..f45a6b7a 100755 Binary files a/dist/roverd and b/dist/roverd differ diff --git a/dist/servoverifier b/dist/servoverifier new file mode 100755 index 00000000..d2ede678 Binary files /dev/null and b/dist/servoverifier differ