VERSION.txt now indicated which version of DNSCore the installer will deploy