deleted file mode 100644
@@ -1,7 +0,0 @@
-#include <stdint.h>
-
-//
-// AUTOGENERATED BY BUILD
-// DO NOT MODIFY - CHANGES WILL BE OVERWRITTEN
new file mode 100644
@@ -0,0 +1,7 @@
+#include <stdint.h>
+
+//
+// AUTOGENERATED BY BUILD
+// DO NOT MODIFY - CHANGES WILL BE OVERWRITTEN