diff --git a/.gitignore b/.gitignore
index b2227f8..64fa1ef 100644
--- a/.gitignore
+++ b/.gitignore
@@ -90,3 +90,5 @@ tests/asm/nop
 *.annot
 *lexer.ml
 *grammar.ml
+*grammar.mli
+VEX/pub/*guest_offsets.h