Fix the operator<< generation to work with "mmm" as well as "mm".

Change-Id: I457a74f1be68debfd351c63f282c3579c6becda2
diff --git a/tools/generate-operator-out.py b/tools/generate-operator-out.py
index b1d102e..ca7df1e 100755
--- a/tools/generate-operator-out.py
+++ b/tools/generate-operator-out.py
@@ -123,6 +123,9 @@
   print
 
   for header_file in header_files:
+    # Make gives us paths relative to the top of the tree, but our -I is art/.
+    # We also have -I art/src/, but icu4c is higher on the include path and has a "mutex.h" too.
+    header_file = header_file.replace('art/', '')
     print '#include "%s"' % header_file
 
   print