fix use of obtain_file in fetch_extension_sources