diff --git a/dist/servoverifier b/dist/servoverifier index a4519f28..b243020d 100755 Binary files a/dist/servoverifier and b/dist/servoverifier differ