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