Index: tools/mktmpfs.py
===================================================================
--- tools/mktmpfs.py	(revision 0516fd716e8b774cf526e74c1239ba42ea1dcde0)
+++ tools/mktmpfs.py	(revision 2ab1023ece3b484a3f4b5022e4705652833c3270)
@@ -36,5 +36,5 @@
 
 HEADER = """little:
-	char[5] tag  /* 'TMPFS' */
+	char tag[5]  /* 'TMPFS' */
 """
 
@@ -47,5 +47,5 @@
 	uint8_t kind        /* FILE */
 	uint32_t fname_len  /* filename length */
-	char[%d] fname      /* filename */
+	char fname[%d]      /* filename */
 	uint32_t flen       /* file length */
 """
@@ -54,5 +54,5 @@
 	uint8_t kind        /* DIRECTORY */
 	uint32_t fname_len  /* filename length */
-	char[%d] fname      /* filename */
+	char fname[%d]      /* filename */
 """