diff --git a/.gitignore b/.gitignore
index adc42985353..e562affcc75 100644
--- a/.gitignore
+++ b/.gitignore
@@ -111,10 +111,10 @@ src/clobber/clobber
 src/clobber/clobber.exe
 src/big-int/test-bigint
 src/big-int/test-bigint.exe
-jbmc/src/jbmc/janalyzer
-jbmc/src/jbmc/janalyzer.exe
-jbmc/src/jbmc/jdiff
-jbmc/src/jbmc/jdiff.exe
+jbmc/src/janalyzer/janalyzer
+jbmc/src/janalyzer/janalyzer.exe
+jbmc/src/jdiff/jdiff
+jbmc/src/jdiff/jdiff.exe
 jbmc/src/jbmc/jbmc
 jbmc/src/jbmc/jbmc.exe