--- lib/as_config.py.orig	Mon Feb 14 09:23:49 2005
+++ lib/as_config.py	Thu Mar 24 10:08:09 2005
@@ -66,8 +66,8 @@
          'SRCMAT'          : ['materiau'],
          'SRCHIST'         : ['histor'],
          # name of "binaries" (as results of a make)
-         'BIN_NODBG'       : ['asteru.exe'],
-         'BIN_DBG'         : ['asterd.exe'],
+         'BIN_NODBG'       : ['asteru'],
+         'BIN_DBG'         : ['asterd'],
          'BINCMDE'         : ['commande'],
          'BINELE'          : ['elements'],
          'BINPICKLED'      : ['cata_ele.pickled'],