diff --git a/src/support/filetools.C b/src/support/filetools.C
index 7a8448df49..2a9caa6867 100644
--- a/src/support/filetools.C
+++ b/src/support/filetools.C
@@ -117,9 +117,6 @@ string const makeLatexName(string const & file)
 	string name = onlyFilename(file);
 	string const path = onlyPath(file);
 
-	for (string::size_type i = 0; i < name.length(); ++i)
-		name[i] &= 0x7f; // set 8th bit to 0
-
 	// ok so we scan through the string twice, but who cares.
 	string const keep = "abcdefghijklmnopqrstuvwxyz"
 		"ABCDEFGHIJKLMNOPQRSTUVWXYZ"