diff --git a/ROBITools/src/ROBITools.so b/ROBITools/src/ROBITools.so
deleted file mode 100755
index df82143..0000000
Binary files a/ROBITools/src/ROBITools.so and /dev/null differ