diff --git a/lib/configure.py b/lib/configure.py
index 38f4d585e4..224331afab 100644
--- a/lib/configure.py
+++ b/lib/configure.py
@@ -193,7 +193,7 @@ def checkDTLtools():
 
 def checkLatex(dtl_tools):
     ''' Check latex, return lyx_check_config '''
-    if (dtl_tools):
+    if (dtl_tools == 'true'):
         # Windows only: DraftDVI
         converter_entry = r'''\converter latex      dvi2       "%%"	"latex"
 \converter dvi2       dvi        "python -tt $$s/scripts/clean_dvi.py $$i $$o"	""'''
@@ -280,7 +280,7 @@ def checkFormatEntries(dtl_tools):
     #
     checkViewer('a DVI previewer', ['xdvi', 'kdvi'],
         rc_entry = [r'\Format dvi        dvi     DVI                    D  "%%"	""'])
-    if (dtl_tools):
+    if (dtl_tools == 'true'):
         # Windows only: DraftDVI
         addToRC(r'\Format dvi2       dvi     DraftDVI               ""	""	""')
     #