Fix for debug code that could cause a server crash. Reported by Dave Potts.
Adding updated VERSION file.