8c0f3bd minor tweak for with_gui config

Authored and Committed by petersen 18 years ago
    minor tweak for with_gui config
    
        
file modified
+2 -1