fixes #3712 - putting VERSION file back