0.7.2: fix missing VERSION file.