Index: doc/bibliography/pl.bib
===================================================================
--- doc/bibliography/pl.bib	(revision 8c01e1b356802f8f115089e75d81248e8ac783e8)
+++ doc/bibliography/pl.bib	(revision 211228e0bc5276c688d3fb380bcf8b3f4185f66c)
@@ -1146,18 +1146,18 @@
     author	= {Tarditi, David and Elliott, Archibald Samuel and Ruef, Andrew and Hicks, Michael},
     title	= {Checked C: Making C Safe by Extension},
-    booktitle	= {2018 IEEE Cybersecurity Development (SecDev)}
-    year = {2018},
-    month = {September},
-    pages = {53-60},
-    publisher = {IEEE},
-    url = {https://www.microsoft.com/en-us/research/publication/checkedc-making-c-safe-by-extension/},
+    booktitle	= {2018 IEEE Cybersecurity Development (SecDev)},
+    year	= {2018},
+    month	= {September},
+    pages	= {53-60},
+    publisher	= {IEEE},
+    url		= {https://www.microsoft.com/en-us/research/publication/checkedc-making-c-safe-by-extension/},
 }
 
 @misc{Clang,
-    keywords = {clang},
-    contributer = {a3moss@uwaterloo.ca},
-    title = {Clang: a {C} language family frontend for {LLVM}},
-    howpublished = {\href{https://clang.llvm.org/}{https://\-clang.llvm.org/}},
-    note = {Accessed 2019-02-22}
+    keywords	= {clang},
+    contributer	= {a3moss@uwaterloo.ca},
+    title	= {Clang: a {C} language family frontend for {LLVM}},
+    howpublished= {\href{https://clang.llvm.org/}{https://\-clang.llvm.org/}},
+    note	= {Accessed 2019-02-22}
 }
 
@@ -3739,4 +3739,16 @@
     optaddress	= {Waterloo, Ontario, Canada, N2L 3G1},
     note	= {\href{https://uwspace.uwaterloo.ca/handle/10012/13935}{https://\-uwspace.uwaterloo.ca/\-handle/\-10012/\-13935}},
+}
+
+@article{Swift05,
+   contributer	= {pabuhr@plg},
+   author	= {Michael M. Swift and Brian N. Bershad and Henry M. Levy},
+   title	= {Improving the Reliability of Commodity Operating Systems},
+   journal	= tocs,
+   volume	= 23,
+   number	= 1,
+   month	= feb,
+   year		= 2005,
+   pages	= {77-110},
 }
 
Index: libcfa/configure
===================================================================
--- libcfa/configure	(revision 8c01e1b356802f8f115089e75d81248e8ac783e8)
+++ libcfa/configure	(revision 211228e0bc5276c688d3fb380bcf8b3f4185f66c)
@@ -2977,4 +2977,6 @@
 	;;
 esac
+
+CONFIG_CFAFLAGS="${CONFIG_CFAFLAGS} ${CFAFLAGS}"
 
 
Index: libcfa/configure.ac
===================================================================
--- libcfa/configure.ac	(revision 8c01e1b356802f8f115089e75d81248e8ac783e8)
+++ libcfa/configure.ac	(revision 211228e0bc5276c688d3fb380bcf8b3f4185f66c)
@@ -64,4 +64,6 @@
 esac
 
+CONFIG_CFAFLAGS="${CONFIG_CFAFLAGS} ${CFAFLAGS}"
+
 AC_SUBST(CONFIG_CFLAGS)
 AC_SUBST(CONFIG_CFAFLAGS)
Index: libcfa/src/Makefile.am
===================================================================
--- libcfa/src/Makefile.am	(revision 8c01e1b356802f8f115089e75d81248e8ac783e8)
+++ libcfa/src/Makefile.am	(revision 211228e0bc5276c688d3fb380bcf8b3f4185f66c)
@@ -74,9 +74,9 @@
 
 prelude.o : prelude.cfa extras.cf gcc-builtins.cf builtins.cf @CFACC@ @CFACPP@
-	${AM_V_GEN}@CFACC@ ${AM_CFLAGS} ${CFLAGS} -quiet -in-tree @CONFIG_CFAFLAGS@ -XCFA -l ${<} -c -o ${@}
+	${AM_V_GEN}$(CFACOMPILE) -quiet -in-tree -XCFA -l ${<} -c -o ${@}
 
 prelude.lo: prelude.cfa extras.cf gcc-builtins.cf builtins.cf @CFACC@ @CFACPP@
 	${AM_V_GEN}$(LIBTOOL) $(AM_V_lt) --tag=CC $(AM_LIBTOOLFLAGS) $(LIBTOOLFLAGS) --mode=compile \
-	@CFACC@ ${AM_CFLAGS} ${CFLAGS} -quiet -in-tree @CONFIG_CFAFLAGS@ -XCFA -l ${<} -c -o ${@}
+	$(CFACOMPILE) -quiet -in-tree -XCFA -l ${<} -c -o ${@}
 
 
Index: libcfa/src/Makefile.in
===================================================================
--- libcfa/src/Makefile.in	(revision 8c01e1b356802f8f115089e75d81248e8ac783e8)
+++ libcfa/src/Makefile.in	(revision 211228e0bc5276c688d3fb380bcf8b3f4185f66c)
@@ -926,9 +926,9 @@
 
 prelude.o : prelude.cfa extras.cf gcc-builtins.cf builtins.cf @CFACC@ @CFACPP@
-	${AM_V_GEN}@CFACC@ ${AM_CFLAGS} ${CFLAGS} -quiet -in-tree @CONFIG_CFAFLAGS@ -XCFA -l ${<} -c -o ${@}
+	${AM_V_GEN}$(CFACOMPILE) -quiet -in-tree -XCFA -l ${<} -c -o ${@}
 
 prelude.lo: prelude.cfa extras.cf gcc-builtins.cf builtins.cf @CFACC@ @CFACPP@
 	${AM_V_GEN}$(LIBTOOL) $(AM_V_lt) --tag=CC $(AM_LIBTOOLFLAGS) $(LIBTOOLFLAGS) --mode=compile \
-	@CFACC@ ${AM_CFLAGS} ${CFLAGS} -quiet -in-tree @CONFIG_CFAFLAGS@ -XCFA -l ${<} -c -o ${@}
+	$(CFACOMPILE) -quiet -in-tree -XCFA -l ${<} -c -o ${@}
 
 #----------------------------------------------------------------------------------------------------------------