set dl_config(dl_ext_name) ".a"
set dl_config(dl_library_names) "libtcl.a libc.a"
