lib_exe_filename