Update WernherChecker.version