diff --git a/linux/build_library b/linux/build_library
index 803f0652..dc9851d8 100755
--- a/linux/build_library
+++ b/linux/build_library
@@ -31,4 +31,5 @@ then
     >&2 echo "$out"
     exit 5
 fi
+rm *.o
 echo "Compilation successful";