version bump, update ChangeLog, fix make dist