src/VERSION.txt: bump version #