Index: tests/include/includes.cfa
===================================================================
--- tests/include/includes.cfa	(revision d134b1567e128e372c3674886d32a71f7a9320d5)
+++ tests/include/includes.cfa	(revision 40841ff402d61328a7ab097e441812757c79eeb3)
@@ -5,11 +5,11 @@
 // file "LICENCE" distributed with Cforall.
 //
-// Includes.cfa -- 
+// includes.cfa -- 
 //
 // Author           : Peter A. Buhr
 // Created On       : Wed May 27 17:56:53 2015
 // Last Modified By : Peter A. Buhr
-// Last Modified On : Tue Mar  2 15:03:40 2021
-// Update Count     : 690
+// Last Modified On : Sun Mar 14 10:18:26 2021
+// Update Count     : 746
 //
 
@@ -19,5 +19,4 @@
 
 //#define _GNU_SOURCE
-//#include <FlexLexer.h>
 #include <aio.h>
 #include <aliases.h>
@@ -33,14 +32,7 @@
 #include <ctype.h>
 #include <curses.h>
-//#include <cursesapp.h>
-//#include <cursesf.h>
-//#include <cursesm.h>
-//#include <cursesp.h>
-//#include <cursesw.h>
-//#include <cursslk.h>
 #include <dirent.h>
 #include <dlfcn.h>
 #include <elf.h>
-//#include <emacs-module.h>								// may not be installed
 #include <endian.h>
 #include <envz.h>
@@ -49,7 +41,6 @@
 #include <error.h>
 #include <eti.h>
-//#include <etip.h>
 #include <execinfo.h>
-//#include <expat.h>										// 32-bit attribute-location problem
+//#include <expat.h>									// 32-bit attribute-location problem
 #include <expat_external.h>
 #include <fcntl.h>
@@ -67,5 +58,4 @@
 #include <getopt.h>
 #include <glob.h>
-//#include <gmpxx.h>
 #include <gnumake.h>
 #include <gnu-versions.h>
@@ -82,7 +72,6 @@
 //#include <link.h>										// CFA bug #240 nested anonymous enum fails
 #include <locale.h>
-//#include <ltdl.h>
-//#include <lzma.h>										// may not be installed
-//#include <malloc.h>										// CFA #include_next
+#include <ltdl.h>
+//#include <malloc.h>									// cannot include in extern "C" because of CFA #include_next
 #include <math.h>
 #include <mcheck.h>
@@ -91,9 +80,6 @@
 #include <mntent.h>
 #include <monetary.h>
-#include <mpath_cmd.h>
-#include <mpath_persist.h>
 #include <mqueue.h>
 #include <ncurses_dll.h>
-//#include <nc_tparm.h>
 #include <netdb.h>
 #include <nl_types.h>
@@ -109,5 +95,4 @@
 #include <pwd.h>
 #include <regex.h>
-//#include <regexp.h>
 #include <resolv.h>
 #include <re_comp.h>
@@ -139,7 +124,6 @@
 #include <term_entry.h>
 #include <tgmath.h>
-#include <threads.h>
+//#include <threads.h>									// does not exist
 #include <thread_db.h>
-//#include <tic.h>
 #include <time.h>
 #include <ttyent.h>
@@ -157,20 +141,4 @@
 #include <wctype.h>
 #include <wordexp.h>
-#include <z3.h>
-//#include <z3++.h>
-#include <z3_algebraic.h>
-#include <z3_api.h>
-#include <z3_ast_containers.h>
-#include <z3_fixedpoint.h>
-#include <z3_fpa.h>
-#include <z3_macros.h>
-#include <z3_optimization.h>
-#include <z3_polynomial.h>
-#include <z3_rcf.h>
-#include <z3_spacer.h>
-//#include <z3_v1.h>
-#include <z3_version.h>
-#include <zconf.h>
-#include <zlib.h>
 
 #if 0
@@ -187,4 +155,4 @@
 // Local Variables: //
 // tab-width: 4 //
-// compile-command: "cfa Includes.cfa" //
+// compile-command: "cfa includes.cfa" //
 // End: //