Updater: better warning when version number could not be found in index files