Issue 1244: make it possible to check version without loading the file