  then
 Index: src/bc_types.h
 ===================================================================
---- src/bc_types.h	(révision 8436)
-+++ src/bc_types.h	(copie de travail)
+--- src/bc_types.h	(revision 8436)
++++ src/bc_types.h	(working copy)
 @@ -57,7 +57,7 @@
   * In principle, the only field that really should need to be
   *  64 bits is the FileId_t

 PRAGMA default_cache_size = 100000;
Index: src/cats/cats.h
===================================================================
--- src/cats/cats.h	(révision 8436)
+++ src/cats/cats.h	(copie de travail)
@@ -88,7 +88,7 @@
 #if defined(BUILDING_CATS)
 #ifdef HAVE_SQLITE

 END-OF-DATA
Index: src/cats/update_mysql_tables.in
===================================================================
--- src/cats/update_mysql_tables.in	(revision 8436)
+++ src/cats/update_mysql_tables.in	(working copy)
@@ -12,16 +12,48 @@
 if $bindir/mysql $* -f <<END-OF-DATA
 USE ${db_name};
 
