[#2370] VERSION still needed for Makefile

Revert "[#2370] remove VERSION file, we now have VERSION.json.dist"

This reverts commit d8fe2f94c8459945eadcecb5f3d9958d6c1d8666.