diff --git a/.gitignore b/.gitignore
index dd604e85a..40b64c4cb 100644
--- a/.gitignore
+++ b/.gitignore
@@ -18,6 +18,7 @@
 /_build_logs
 /infer/tests/codetoanalyze/java/*/codetoanalyze
 /dependencies/infer-deps-*
+/dependencies/javalib/javalib-2.3.3/
 _build_infer
 *.exp.test*
 *.test.dot
diff --git a/build-infer.sh b/build-infer.sh
index 96a4818e3..948beda66 100755
--- a/build-infer.sh
+++ b/build-infer.sh
@@ -176,9 +176,7 @@ install_patched_javalib() {
     tar xvf "$javalib_dir"/javalib-2.3.3.tar.bz2 -C "$javalib_dir"
     # apply the patch
     patch -d "$unzipped_javalib_dir"/src < "$javalib_dir"/allow_empty_method.patch
-    opam pin add javalib "$unzipped_javalib_dir"
-    # clean up unzipped source
-    rm -rf "$unzipped_javalib_dir"
+    opam pin add --no-action javalib "$unzipped_javalib_dir"
 }
 
 install_locked_deps() {