We now warn where options or version numbers don't match in checker