add VERSION number