diff --git a/[refs] b/[refs]
index 9e2d16a35d68..a8d3bc8afb1e 100644
--- a/[refs]
+++ b/[refs]
@@ -1,2 +1,2 @@
 ---
-refs/heads/master: 87dedbda0ed9d005c2d049487e0e522797c18764
+refs/heads/master: ac3b719cc373a7873e0f7173a9abc50f13650637
diff --git a/trunk/.gitignore b/trunk/.gitignore
index 2a5a6ecbd03c..e1d5c17c12c2 100644
--- a/trunk/.gitignore
+++ b/trunk/.gitignore
@@ -14,6 +14,7 @@
 *.mod.c
 *.i
 *.lst
+*.symtypes
 
 #
 # Top-level generic files