Update version number to allow "make dist" to work.