diff --git a/.gitignore b/.gitignore
index 90610825c23d206058837fbeab956b8a62fe8d27..9cef935ca738a1b5ae5dcd387639c8afd8a91440 100644
--- a/.gitignore
+++ b/.gitignore
@@ -24,6 +24,7 @@ frama_c_journal.ml
 /frama-c-*.tar.gz
 /.merlin
 /headers/hdrck
+/headers/hdrck.exe
 
 #build
 
@@ -65,7 +66,9 @@ autom4te.cache
 /devel_tools/fc-memuse
 /bin/ocamldep_transitive_closure
 /bin/check_newlines
+/bin/check_newlines.exe
 /bin/isutf8
+/bin/isutf8.exe
 
 #share
 /share/Makefile.config