removed ChangeLog from EXTRA_DIST (who added it?)