provide better diagnostics (list of versions and filenames)

when the version numbers are not the same