Fix bug in VERSION number reading.

4 files changed