diff -r db4d5f498742 -r 2d4561866642 lib/Tools/mkdir
--- a/lib/Tools/mkdir	Sat Dec 01 18:50:41 2001 +0100
+++ b/lib/Tools/mkdir	Sat Dec 01 18:51:11 2001 +0100
@@ -227,6 +227,8 @@
 %\usepackage[only,bigsqcap]{stmaryrd}
 %\usepackage{wasysym}
 %\usepackage{eufrak}
+%\usepackage{textcomp}
+%\usepackage{marvosym}
 
 % this should be the last package used
 \usepackage{pdfsetup}