--- lib/as_config.py.orig	Tue Dec 19 14:31:52 2006
+++ lib/as_config.py	Sat Dec 23 22:07:31 2006
@@ -75,8 +75,8 @@
          'SRCHIST'         : ['histor'],
          # name of "binaries" (as results of a make)
          'MAKE'            : ['debug nodebug'],
-         'BIN_NODBG'       : ['asteru.exe'],
-         'BIN_DBG'         : ['asterd.exe'],
+         'BIN_NODBG'       : ['asteru'],
+         'BIN_DBG'         : ['asterd'],
          'BINCMDE'         : ['commande'],
          'BINELE'          : ['elements'],
          'BINPICKLED'      : ['cata_ele.pickled'],