fixes #3712 - putting VERSION file back

I suppose it was removed by mistake?