VERSION file for Makefile etc