diff -r 6b408b83ac34 -r 4f9838649c7f configure
--- a/configure	Wed Nov 26 01:07:49 2008 +0000
+++ b/configure	Wed Nov 26 13:12:45 2008 +0000
@@ -50,7 +50,7 @@
 make_cflags_and_ldflags
 
 EXE=""
-if [ "$os" = "MINGW" ] || [ "$os" = "CYGWIN" ] || [ "$os" = "OS2" ] || [ "$os" = "WINCE" ]; then
+if [ "$os" = "MINGW" ] || [ "$os" = "CYGWIN" ] || [ "$os" = "OS2" ] || [ "$os" = "DOS" ] || [ "$os" = "WINCE" ]; then
 	EXE=".exe"
 fi