get_executable_name()